Перевод и анализ слов искусственным интеллектом
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое hipótese atômica - определение
Википедия
Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas. Portanto, átomos são as mais simples fórmulas bem formadas da lógica. Fórmulas compostas são formadas combinando as fórmulas atômicas utilizando conectivos lógicos.
A forma precisa das fórmulas atômicas depende da lógica em consideração; para a Lógica proposicional, por exemplo, as fórmulas atômicas são variáveis proposicionais. Para a Lógica de predicados, os átomos são símbolos de predicados com seus argumentos, sendo cada argumento um termo. Em Teoria dos modelos, termos são simplesmente strings de símbolos com uma dada assinatura, que podem ou não ser satisfatível a respeito do modelo em questão.
